/* ==============================================================================
*
*   Copyright (c) 2010, Pierre Favier
*   All rights reserved.
*
*   NTasking is free software: you can redistribute it and/or modify it
*   under the terms of the GNU General Public License as published by the
*   Free Software Foundation.
*
*   Redistribution and use in source and binary forms, with or without
*   modification, are permitted provided that the following conditions
*   are met:
*
*   -   Redistributions of source code must retain the above copyright notice,
*       this list of conditions and the following disclaimer.
*
*   -   Redistributions in binary form must reproduce the above
*       copyright notice, this list of conditions and the following
*       disclaimer in the documentation and/or other materials
*       provided with the distribution.
*
*   THIS SOFTWARE IS PROVIDED "AS IS" AND ANY EXPRESS OR IMPLIED
*   WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
*   OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
*   DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS
*   BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
*   EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED
*   TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
*   DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON
*   ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR
*   TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF
*   THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
*   SUCH DAMAGE.
*
* ============================================================================== */

using System;

namespace NTasking.ValidationTests.ACATS_3_0.Support
{

    public class Printer : Protected
    {

        public static Printer[] Printers;


        public const int NumberOfPrinters = 2;
        public readonly int Info;
        private bool ready = true;
        private bool done = true;


        public static void Initialize()
        {
            Printers = new Printer[] { new Printer(1), new Printer(2) };
        }


        public static void Cleanup()
        {
            Printers = null;
        }



        [ReadWriteOperation]
        public Action<string> StartPrinting { get; private set; } // Begin printing on Printer

        [ReadWriteOperation]
        public Action HandleInterrupt { get; private set; } // Handle interrupt from printer

        [Entry]
        public Action DonePrinting { get; private set; } // Wait until printer is done

        [ReadOnlyOperation]
        public Func<bool> Available { get; private set; }

        [ReadOnlyOperation]
        public Func<bool> IsDone { get; private set; }


        public Printer(int id)
        {
            Info = id;

            ReadWriteOperation(StartPrinting, Is: fileName =>
            {
                ready = false;                     // Block other requests
                done = false;                      // for this printer
                // Send data to the printer...     // and begin printing.
            });

            // Set the "not ready" one-shot
            Entry(DonePrinting,
                When: () => ready,
            Is: () =>                               // Callers wait here
            {                                      // until printing is
                done = true;                       // done (signaled by a
            });                                    // printer interrupt).

            ReadWriteOperation(HandleInterrupt, Is: () =>    // Called when the 
            {                                      // printer interrupts,
                ready = true;                      // indicating that
            });                                    // printing is done.

            ReadOnlyOperation(Available, Is: () =>           // Artifice for test
            {                                      // purposes: checks
                return ready;                      // whether printer is
            });                                    // still printing.

            ReadOnlyOperation(IsDone, Is: () =>              // Artifice for test
            {                                      // purposes: checks
                return done;                       // whether Done_Printing
            });                                    // entry was executed.
        }

    }

}
